Section: Partnerships and Cooperations

European Initiatives

FP7 & H2020 Projects

CRYSP

• Type: FP7

• Defi: NC

• Instrument: ERC Starting Grant

• Objectif: NC

• Duration: November 2010 - October 2015

• Coordinator: Karthikeyan Bhargavan

• Partner: Inria (France)

• Inria contact: Valérie Boutheon

• Abstract: The goal of this grant is to develop a collaborative specification framework and to build incremental, modular, scalable verification techniques that enable a group of collaborating programmers to build an application and its security proof side-by-side. We propose to validate this framework by developing the first large-scale web application and full-featured cryptographic protocol libraries with formal proofs of security.